2.62/5.18	unsat
