1.03/1.84	unsat
