86.01/86.45	unsat
