1.28/3.89	unsat
