6.45/9.61	unsat
