3.29/5.18	unsat
