8.41/11.89	unsat
