90.60/93.01	unsat
