8.69/13.09	unsat
