95.57/96.33	unsat
