3.92/3.98	unsat
