7.00/11.91	unsat
