11.97/14.91	unsat
