1.28/3.46	unsat
