5.18/7.89	unsat
