92.19/96.24	unsat
