3.91/3.98	unsat
