5.18/9.91	unsat
