2.68/3.42	unsat
