10.17/11.97	unsat
