4.29/6.89	unsat
