1.19/2.87	unsat
