39.81/41.73	unsat
