7.28/7.43	unsat
