5.72/7.89	unsat
