3.87/3.98	unsat
