5.24/5.43	unsat
