2.68/3.46	unsat
