5.95/6.52	unsat
