93.11/93.79	unsat
