39.92/41.02	unsat
