9.17/11.79	unsat
