5.95/6.13	unsat
