2.44/2.82	unsat
