4.29/6.18	unsat
