1.17/1.86	unsat
