5.52/5.96	unsat
