10.06/11.97	unsat
