1.30/2.69	unsat
