2.94/5.18	unsat
