1.89/3.46	unsat
