95.02/96.03	unsat
