1.19/2.69	unsat
