11.76/11.97	unsat
