1.29/3.18	unsat
