10.79/10.97	unsat
