39.87/41.00	unsat
