11.17/11.89	unsat
