1.29/3.46	unsat
