89.15/89.94	unsat
