1.08/1.43	unsat
