5.27/5.43	unsat
