10.97/15.76	unsat
