41.73/44.79	unsat
