3.52/6.46	unsat
