2.67/2.75	unsat
