39.31/41.44	unsat
