4.95/6.30	unsat
