5.27/5.41	unsat
