5.15/5.89	unsat
