0.68/2.15	unsat
