1.87/1.94	unsat
