40.08/41.33	unsat
