4.98/6.11	unsat
