1.50/3.46	unsat
