1.89/1.94	unsat
