3.07/3.46	unsat
