41.72/43.79	unsat
