1.30/2.87	unsat
