2.44/2.94	unsat
