5.53/7.07	unsat
