2.92/2.94	unsat
