5.13/6.89	unsat
