6.45/6.99	unsat
